Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
نویسندگان
چکیده
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu’s multi-agent system (MAS) development method provides proper language facilities supporting modularity. To enhance this method with rigor advocates a DL method to map the specification of MAS into a DL TBox. Thus, we can use the existing DL reasoners and systems to verify and validate some system’s properties.
منابع مشابه
Multi-agent Cooperation: A Description Logic View
In this paper we propose dynamic description logic for formalizing multi-agent cooperation process with a clearly defined syntax and semantics. By combining the features of knowledge representation and reasoning of description logic and action theory for multi-agent interaction, our logic is effective and significant both for static and dynamic environment. On the static side, we employ descrip...
متن کاملThe Specification Language KARL and Its Declarative Semantics
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system (kbs) at the conceptual level (a so-called model of expertise ) with a description at a formal and executable level. It is a specification language which allows the precise and unique description of a kbs independently from implementational details. In the paper, KARL is mainly discus...
متن کاملMINERVA - A Dynamic Logic Programming Agent Architecture
Abstract. The agent paradigm, commonly implemented by means of imperative languages mainly for reasons of efficiency, has recently increased its influence in the research and development of computational logic based systems. Since efficiency is not always the crucial issue, but clear specification and correctness is, Logic Programming and Non-monotonic Reasoning have been brought back into the ...
متن کاملUsing Ontologies to Formalize Services Specifications in Multi-agent Systems
One key issue in multi-agent systems (MAS) is their ability to interact and exchange information autonomously across applications. In order to agents to interact in such fashion, however, it is paramount to rely on a communication protocol that allows software agents to exchange meaningful information. In this paper we propose using ontologies as such communication protocol. Ontologies capture ...
متن کاملFormalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective
Logic-based representations of multi-agent systems have been extensively studied. In this work, we focus on the action language BC to formalize global views of MAS domains. Methodologically, we start representing the behaviour of each agent by an action description from a single agent perspective. Then, it goes through two stages that guide the modeler in composing the global view by first desi...
متن کامل